Turing was an exceptional mathematician with a peculiar and fascinating personality and yet he remains largely unknown. In fact, he might be considered the father of the von Neumann architecture computer and the pioneer of Artificial Intelligence. And all thanks to his machines; both those that Church called “Turing machines” and the a-, c-, o-, unorganized- and p-machines, which gave rise to evolutionary computations and genetic programming as well as connectionism and learning. This paper looks at all of these and (...) at why he is such an often overlooked and misunderstood figure. (shrink)

In this article I tease out a conception of reason in Pierre-Joseph Proudhon’s writings that is both decoupled from Enlightenment notions of human nature, progress, and transcendental truth, as well as auto-critically engaged with the anti-authoritarian Enlightenment ethos of anarchist thought. In so doing, I hope to reveal how the Proudhonian deployment of reason retained a healthy skepticism of foundationalism, philosophical systems-building, and the intellectualism bred of its dogmatic excesses as well as reconsider Proudhon’s relation to our most privileged faculty.

In this article I tease out a conception of reason in Pierre-Joseph Proudhon’s writings that is both decoupled from Enlightenment notions of human nature, progress, and transcendental truth, as well as auto-critically engaged with the anti-authoritarian Enlightenment ethos of anarchist thought. In so doing, I hope to reveal how the Proudhonian deployment of reason retained a healthy skepticism of foundationalism, philosophical systems-building, and the intellectualism bred of its dogmatic excesses as well as reconsider Proudhon’s relation to our most privileged faculty.

Automated legal reasoning and its application in smart contracts and automated decisions are increasingly attracting interest. In this context, ethical and legal concerns make it necessary for automated reasoners to justify in human-understandable terms the advice given. Logic Programming, specially Answer Set Programming, has a rich semantics and has been used to very concisely express complex knowledge. However, modelling discretionality to act and other vague concepts such as ambiguity cannot be expressed in top-down execution models based on Prolog, and in (...) bottom-up execution models based on ASP the justifications are incomplete and/or not scalable. We propose to use s(CASP), a top-down execution model for predicate ASP, to model vague concepts following a set of patterns. We have implemented a framework, called s(LAW), to model, reason, and justify the applicable legislation and validate it by translating (and benchmarking) a representative use case, the criteria for the admission of students in the “Comunidad de Madrid”. (shrink)

In recent decades, there has been a proliferation among the scientific community of works that focus on Alan Turing’s contributions to the design and development of the modern computer. However, there are significant discrepancies among these studies, to such a point that some of them cast serious doubts on Alan Turing’s work with respect to today’s computer, and there are others that staunchly defend his leading role, as well as other studies that set out more well-balanced opinions. Faced with this (...) situation, the aim of this paper is to analyse the evidence existing today in order to be able to draw a conclusion about whether or not Turing anticipated the trivialisation of the modern computer memory and, likewise, if his universal a-machine is the precursor of the general-purpose computer so omnipresent today. As a result of our research, the authors conclude that Turing did indeed play a leading role in the appearance of the modern computer, although he was not the only one or the first in the field of Computing Science, albeit he was the most influential, both in scope and in depth. (shrink)

The World Health Organization has declared a world pandemic due to COVID-19. In response, most affected countries have enacted measures involving compulsory confinement and restrictions on free movement, which likely influence citizens' lifestyles. This study investigates changes in health risk behaviors with duration of confinement. An online cross-sectional survey served to collect data about the Spanish adult population regarding health behaviors during the first 3 weeks of confinement. A large sample of participants from all Spanish regions completed the survey. Binomial (...) logistic regressions adjusted for socioeconomic characteristics, body mass index, previous HRBs, and confinement context were conducted to investigate associations between the number of weeks confined and a set of six HRBs. When adjusted, we observed significantly lower odds of experiencing a higher number of HRBs than before confinement overall in a time-dependent fashion: OR 0.63; 95% CI: 0.49–0.81 for the second and OR 0.47; 95% CI: 0.36–0.61 for the third week of confinement. These results were equally consistent in all age and gender subgroup analyses. The present study indicates that changes toward a higher number of HRBs than before confinement, as well as the prevalence of each HRB except screen exposure, decreased during the first 3 weeks of COVID-19 confinement, and thus the Spanish adult population may have adapted to the new situational context by gradually improving their health behaviors. (shrink)

In the centenary year of Turing’s birth, a lot of good things are sure to be written about him. But it is hard to find something new to write about Turing. This is the biggest merit of this article: it shows how von Neumann’s architecture of the modern computer is a serendipitous consequence of the universal Turing machine, built to solve a logical problem.

Current Perspectives in Philosophy of Biology.

Las miopatías metabólicas son un grupo de trastornos genéticos que disminuyen la capacidad del músculo esquelético para utilizar sustratos energéticos y sintetizar ATP. Estas alteraciones pueden clasificarse en tres tipos fundamentalmente: i) trastornos del metabolismo de los carbohidratos (del glucógeno y de la glucosa), ii) defectos del metabolismo lipídico, y iii) alteraciones de la fosforilación oxidativa –OXPHOS-. Las dos primeras se deben a deficiencias enzimáticas de las rutas metabólicas de degradación y síntesis de glúcidos y lípidos y muestran diversas manifestaciones (...) clínicas, pero una buena parte de ellas cursan con intolerancia al ejercicio. Aunque un buen número de pacientes con estos trastornos musculares presentan síntomas en la infancia, el diagnóstico normalmente se retrasa hasta la segunda y tercera década de la vida. Por tanto, reconocer las características clínicas de estas deficiencias conduce a un diagnóstico precoz y a un mejor tratamiento. Las enfermedades mitocondriales son un grupo de trastornos originados por una deficiencia en la síntesis de ATP a través del sistema de fosforilación oxidativa. Este sistema está formado por proteínas codificadas en los dos genomas de la célula (nuclear y mitocondrial) y, por tanto, pueden presentar un modelo de herencia mendeliano o materno. En esta revisión se describirán las características especiales del sistema genético mitocondrial y las principales mutaciones que causan enfermedades en humanos. (shrink)

Current Perspectives in Philosophy of Biology.

This paper presents the manner in which the DNA, the molecule of life, was discovered. Unlike what many people, even biologists, believe, it was Johannes Friedrich Miescher who originally discovered and isolated nuclein, currently known as DNA, in 1869, 75 years before Watson and Crick unveiled its structure. Also, in this paper we show, and above all demonstrate, the serendipity of this major discovery. Like many of his contemporaries, Miescher set out to discover how cells worked by means of studying (...) and analysing their proteins. During this arduous task, he detected an unexpected substance of unpredicted properties. This new substance precipitated when he added acid to the solution and it dissolved again when adding alkali. Unexpectedly and by a mere fluke, Miescher was the first person to obtain a DNA precipitate. The paper then presents the term serendipity and discusses how it has influenced the discovery of other important scientific milestones. Finally, we address the question of whether serendipitous discoveries can be nurtured and what role the computer could play in this process. (shrink)

Name der Zeitschrift: Klio Jahrgang: 99 Heft: 1 Seiten: 130-148.

A great amount of literature documents young children’s innate interest in discovering their surroundings and gradually developing more complex activities and thoughts. It has been demonstrated that when environments support young children’s innate interest and progressive autonomy, they help children acquire a self-determined behavior. However, little is known about the application of this evidence in the daily practice of early childhood educational settings. This study examines Emmi Pikler Nursery School, a center that implements an autonomy-supportive educational approach. We conducted a (...) systematic observation of two experienced Pikler educators while they accompanied young children’s free play. Our objective was to assess: if educators’ instrumental action follows a systematic behavioral sequence; if each instrumental action is supported by specific relational behaviors; and if educators display differentiated intervention levels with regards to children’s free play through the adaptation of the relational dimension. We conducted lag sequential analysis in order to find behavioral patterns and concurrences between the observed behaviors. Our findings indicate that educators perform systematic action sequences and that each of the instrumental actions of those sequences has a specific relational value. We conclude that educators display three differentiated intervention levels depending on the child and the circumstances of the moment, providing an appropriate autonomy support and reinforcing children’s self-determination. (shrink)

Notwithstanding the potential danger to security and privacy, sharing and publishing data has become usual in Data Science. To preserve privacy, de-identification methodologies guided by risk estimation have been designed. Two issues associated with classical risk metrics are, on the one hand, the adequacy of the metric and, on the other hand, its static nature. In this paper, we present metrics for estimating risk based on the emerging semantics provided by Formal Concept Analysis. The metrics are designed to estimate the (...) a priori risk of compromised data deletion. Furthermore, by applying specialized variable forgetting methods for association rules, it is shown how to reflect the effect of deleting attributes belonging to potentially dangerous quasi-identifier sets. Additionally, a study of the role of the risk metric in confidence-based reasoning for re-identification is presented. (shrink)

In this paper, I address the problem about the role of academic philosophy for the feminist movement. I argue that the professionalization of feminism, especially within the sphere of academic philosophy, is detrimental to the stated goal of the feminist movement, which, as historically understood, is to procure women’s rights and liberties and to reassess the treatment of women by different social institutions. The thought is that if feminism were to reap the rewards of a socio-political change, feminists should stop (...) their fantastic theorizing and start bringing their advocacies to the proper forums. (shrink)

To offer engaging neurorehabilitation training to neurologic patients, motor tasks are often visualized in virtual reality. Recently introduced head-mounted displays allow to realistically mimic the body of the user from a first-person perspective in a highly immersive VR environment. In this immersive environment, users may embody avatars with different body characteristics. Importantly, body characteristics impact how people perform actions. Therefore, alternating body perceptions using immersive VR may be a powerful tool to promote motor activity in neurologic patients. However, the ability (...) of the brain to adapt motor commands based on a perceived modified reality has not yet been fully explored. To fill this gap, we “tricked the brain” using immersive VR and investigated if multisensory feedback modulating the physical properties of an embodied avatar influences motor brain networks and control. Ten healthy participants were immersed in a virtual environment using an HMD, where they saw an avatar from first-person perspective. We slowly transformed the surface of the avatar from human to stone. We enforced this visual change by repetitively touching the real arm of the participant and the arm of the avatar with a hammer, while progressively replacing the sound of the hammer against skin with stone hitting sound via loudspeaker. We applied single-pulse transcranial magnetic simulation to evaluate changes in motor cortical excitability associated with the illusion. Further, to investigate if the “stone illusion” affected motor control, participants performed a reaching task with the human and stone avatar. Questionnaires assessed the subjectively reported strength of embodiment and illusion. Our results show that participants experienced the “stone arm illusion.” Particularly, they rated their arm as heavier, colder, stiffer, and more insensitive when immersed with the stone than human avatar, without the illusion affecting their experienced feeling of body ownership. Further, the reported illusion strength was associated with enhanced motor cortical excitability and faster movement initiations, indicating that participants may have physically mirrored and compensated for the embodied body characteristics of the stone avatar. Together, immersive VR has the potential to influence motor brain networks by subtly modifying the perception of reality, opening new perspectives for the motor recovery of patients. (shrink)

Joaquín M. Fuster is an eminent cognitive neuroscientist whose research over the last five decades has made fundamental contributions to our understanding of the neural structures underlying cognition and behaviour. This book provides his view on the eternal question of whether we have free will. Based on his seminal work on the functions of the prefrontal cortex in decision-making, planning, creativity, working memory, and language, Professor Fuster argues that the liberty or freedom to choose between alternatives is a function of (...) the cerebral cortex, under prefrontal control, in its reciprocal interaction with the environment. Freedom is therefore inseparable from that circular relationship. The Neuroscience of Freedom and Creativity is a fascinating inquiry into the cerebral foundation of our ability to choose between alternative actions and to freely lead creative plans to their goal. (shrink)

Jc Beall’s off-topic interpretation of Weak Kleene logic offers a logic of ‘true-and-topic’ preservation. However, Nissim Francez has recently argued that being ‘off-topic’ is a relational and not an _absolute_ semantic property; as such, it fails to satisfy the conditions of truth-functionality. For Francez, this means that it ‘cannot serve as an interpretation of a truth-value’. In this paper, I propose a two-layered _re_interpretation of Beall’s off-topic semantics. This two-layered framework has two crucial features: a sentential topic-tagging device and a (...) two-layered evaluation tool. I show that this framework results in a logic that preserves Beall’s key insight and addresses Francez’s concerns. (shrink)

IntroductionArticles published in scientific journals, concerning the present and future of the lecture format in university education in the twenty-first century are framed within organizational settings that drive teaching methodologies in line with educational policies. The following two research questions have arisen from articles in which debate the continuity of this teaching modality and propose improvements of a different nature: Is there an interest in renovating the lecture format among the international research community whose remit is university teaching methods? and (...) What improvements to the lecture format do the reviewed articles suggest, within the framework of the communicative matrix of interactive learning?MethodWe have carried out a systematic review guided by the PRISMA approach, emphasizing the interest in methodological conceptual commitment, paying attention to documents published in journals with an impact factor. The search strategy was applied homogeneously in three databases: ERIC, PsycInfo, and Web of Science, following the systematic process of inclusion/exclusion.ResultsForty-five articles were selected with a range of 0–78 quotations, from different fields of knowledge and five continents; 12 articles are from journals with a JCR impact factor. The journal articles cover communicative, cognitive and active-practical perspectives ; the predominant governing aim of the analyzed improvements is connected with the attendees’ academic performance results ; the reviewed studies belong mainly to the quantitative paradigm. The considerations derived from the results cover formative, technical and/or critical aspects.Discussion and conclusionsWhilst positively valuing all these efforts promoted by the European Higher Education Area, we have also verified the lack of contributions in line with our concerns that embrace the need to develop an in-depth conceptualization, supported by a methodology that is sensitive to the complexity of the oral communication format between an expert actor and non-specialized actors who wish to connect and collaborate with the expert in the production of knowledge. (shrink)

In this paper we critically examine mobile markets as an emerging approach to serving communities with limited healthy food options. Mobile markets are essentially farm stands on wheels, bringing fresh fruits, vegetables and other food staples into neighborhoods, especially those lacking traditional, full service grocery stores, or where a significant proportion of the population lacks transportation to grocery stores. We first trace the emergence of contemporary mobile markets, including a brief summary about how and where they operate, what they aim (...) to achieve, who they serve, and the general constraints on their operations. We then report case study findings that examine the operational benefits and challenges of two mobile markets operating in Syracuse, New York. Our research suggests that although Syracuse’s mobile markets play a positive role in alleviating geographic, economic and social barriers to fresh food access experienced by elderly, immobile and low income residents living in Syracuse’s urban neighborhoods, the impacts of the mobile markets are dampened by both operational constraints and larger political and economic forces. (shrink)

In order to fulfil their essential roles as the bearers of truth and the relata of logical relations, propositions must be public and shareable. That requirement has favoured Platonist and other nonmental views of them, despite the well-known problems of Platonism in general. Views that propositions are mental entities have correspondingly fallen out of favour, as they have difficulty in explaining how propositions could have shareable, objective properties. We revive a mentalist view of propositions, inspired by Artificial Intelligence work on (...) perceptual algorithms, which shows how perception causes persistent mental entities with shareable properties that allow them to fulfil the traditional roles of (one core kind of) propositions. The clustering algorithms implemented in perception produce outputs which are (implicit) atomic propositions in different minds. Coordination of them across minds proceeds by game-theoretic processes of communication. The account does not rely on any unexplained notions such as mental content, representation, or correspondence (although those notions are applicable in philosophical analysis of the result). (shrink)

The debate concerning the proper way of understanding, and hence solving, the “is-ought problem” produced two mutually exclusive positions. One position claims that it is entirely impossible to deduce an imperative statement from a set of factual statements. The other position holds a contrary view to the effect that one can naturally derive an imperative statement from a set of factual statements under certain conditions. Although these two positions have opposing views concerning the problem, it should be evident that they (...) both accept that the “is-ought problem” is concerned with the deducibility of imperative statements from factual statements. Later I will argue that this should not be our concern when we try to make sense of the way we reason about morality. (shrink)

In elementary logic textbooks, Venn diagrams are used to analyze and evaluate the validity of syllogistic arguments. Although the method of Venn diagrams is shown to be a powerful analytical tool in these textbooks, it still has limitations. On the one hand, such method fails to represent singular statements of the form, “a is F.” On other hand, it also fails to represent identity statements of the form, “a is b.” Because of this, it also fails to give an account (...) of the validity of some obviously valid arguments that contain these types of statements as constituents. In this paper, owing to the developments in the literature on Venn diagrams, we offer a way of supplementing the rules of the Venn diagram found in textbooks, and show how this retooled Venn diagram technique could account for the problem cases. (shrink)

Against the pervading opinion, the author takes the positive side of the question "Does logic rest on a metaphysical foundation?" Logic is generally understood as a science that investigates ways of distinguishing good from bad arguments. This conception leads many to think that logic does not rest on any metaphysical foundation - that it is not an ontologically-committing enterprise. To claim that "'Someone is male' logically follows from 'Joey is male"' does not commit one to the existence of maleness or (...) the existence of Joey, even if it is logically true that if Joey is male, then someone is male. This paper, however argues for the contrary thesis. In one possible rendering of what logic means and in one possible understanding of what it is for someone to be ontologically committed to something else, it can be shown that logic is an ontologically-committing activity. From this it is argued that logic has a metaphysical foundation. (shrink)

The knowledge extraction from data with noise or outliers is a complex problem in the data mining area. Normally, it is not easy to eliminate those problematic instances. To obtain information from this type of data, robust classifiers are the best option to use. One of them is the application of bagging scheme on weak single classifiers. The Credal C4.5 model is a new classification tree procedure based on the classical C4.5 algorithm and imprecise probabilities. It represents a type of (...) the so-calledcredal trees. It has been proven that CC4.5 is more robust to noise than C4.5 method and even than other previous credal tree models. In this paper, the performance of the CC4.5 model in bagging schemes on noisy domains is shown. An experimental study on data sets with added noise is carried out in order to compare results where bagging schemes are applied on credal trees and C4.5 procedure. As a benchmark point, the known Random Forest classification method is also used. It will be shown that the bagging ensemble using pruned credal trees outperforms the successful bagging C4.5 and RF when data sets with medium-to-high noise level are classified. (shrink)

This paper develops a philosophical account of the relata of romantic love, the nature of the objects in a love-relation. This account holds that the lover who loves and the beloved who is loved are particular people who persist through time by having temporal parts. We show how such a perdurantist account could provide models of different kinds of romantic love: from the love of transitory lovers to the love of immortal beings; from the love of lifelong companions to the (...) love of soulmates. Finally, two possible issues raised against this view will also be addressed. (shrink)

In this paper, I offer a reconstruction of Wittgenstein's view of the happy life by sketching out three interconnected themes in his early works. The first theme is the distinction between a science of ethics and the ethical. The second is the idea of the willing subject. And finally, the third is the possibility of the happy life.

When Richard Rorty passed away in June of 2007, we lost a philosopher who contributed to a major number of philosophical currents, a thinker who, with his writing, managed to be at a height of an epoch. This interview was conducted during the year 2005–2006, and it has not been published in English. I publish it now as a way of honoring one of the most interesting philosophers of recent years.

Theodore Sider’s puzzle in Hell and Vagueness has generated some interesting responses in the past few years. In this paper, I explore yet another possible solution out of the conundrum. This solution implies three ways of denying a binary conception of the afterlife. I argue that while these solutions might first seem tenable, they might still succumb to a Sideresque revenge puzzle.

This article cybernetically (isomorphically) investigates the causes of the Hellenic financial crisis. It (1) describes the crisis and its commonly assessed root cause: systemic corruption coupled to the decisions of ample numbers of Greeks to endure the problem rather than resolve it; (2) reviews SYRIZA's 2015 anti‐austerity campaign and identifies incompatibilities within its apparent collective purposes that imply processes more fundamental than corruption and bad faith may be causing the crisis; (3) situates cybernetics within a sociological framework to analyze those (...) processes appropriately; (4) propositionally reduces them to a general rule—the tragedy of the commons—operating more or less within the collective conscience of the Greek people; and (5) and exposes the parameter's self‐similar manifestation in social actions that have contributed to the crisis. (shrink)

Da Ré and Szmuc argue that while there is a symmetry between ‘infectious’ and ‘immune’ logics, this symmetry fails w.r.t. extending an algebra with an immune or an infectious element. In this paper, I show that the symmetry also fails w.r.t. defining a new logical operation from a given set of primitive (Boolean) operations. I use the case of the material conditional to illustrate this point.

The analysis of the confession in Foucault's work based on the comparison between Les anormaux, Mal faire, dire vrai and Les aveux de la chair shows one of the most relevant displacements in Foucault's work, which constitutes a good part of the essence of what has been called the last Foucault: the relation of the subject and the truth. An attempt will be made to account for this turn, analyzing the look at primitive Christianity of the last Foucault and the (...) relationship of such reflection in the analysis of the hermeneutics of the self. The last reflections on the confession in Les aveux de la chair will show the meaning of the ethical inquiry of the last Foucault that reproduces the double critical and ontological character of anarcheology. (shrink)